منابع مشابه
Simplification of Cylindrical Algebraic Formulas
For a set S of cells in a cylindrical algebraic decomposition of R, we introduce the notion of generalized cylindrical algebraic formula (GCAF) associated with S. We propose a multi-level heuristic algorithm for simplifying the cylindrical algebraic formula associated with S into a GCAF. The heuristic strategies are motivated by solving examples coming from the application of automatic loop tra...
متن کاملExperiments in Hash-coded Algebraic Simplification
An algebraic expression simplification program is one of the key components in any computer algebra system. It is also among the first non-trivial programs a student learning Lisp may encounter, converting symbolic expressions like (+ x (* y 1) 0) to (+ x y). The solutions expected by the texts’ authors are short Lisp demonstration programs but are hardly indicative of the state of the art in c...
متن کاملAlgebraic Simplification Techniques for Propositional Satisfiability
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instance. This ability can actually be essential for specific and hard classes of instances. The objective of this paper is to propose new simplification techniques for Conjunctive Normal Form (CNF) formulas. Experimental r...
متن کاملSimplification of Differential Algebraic Equations by the Projection Method
Reduction of a differential algebraic equation (DAE) system to an ordinary differential equation system (ODE) is an important step in solving the DAE numerically. When the ODE is obtained, an ODE solution technique can be used to obtain the final solution. In this paper we consider combining index reduction with projection onto the constraint manifold. We show that the reduction benefits from t...
متن کاملExtreme simplification and rendering of point sets using algebraic multigrid
We present a novel approach for extreme simplification of point set models, in the context of realtime rendering. Point sets are often rendered using simple point primitives, such as oriented discs. However, this requires using many primitives to render even moderately simple shapes. Often, onewishes to render a simplified model using only a few primitives, thus trading accuracy for simplicity....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1973
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/16.1.23